Topological semantics of conservativity and interpretability logics

نویسندگان

چکیده

We introduce and develop a topological semantics of conservativity logics interpretability logics. prove the compactness theorem consistent normal extensions logic $\mathbf{CL}$ by extending Shehtman's ultrabouquet construction method to our framework. As consequence, we that several such as $\mathbf{IL}$, $\mathbf{ILM}$, $\mathbf{ILP}$ $\mathbf{ILW}$ are strongly complete with respect semantics.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Functorial semantics of topological theories

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

متن کامل

Explicit Logics of Knowledge and Conservativity

Several justification logics have evolved, starting with the logic LP, (Artemov 2001). These can be thought of as explicit versions of modal logics, or logics of knowledge or belief, in which the unanalyzed necessity (knowledge, belief) operator has been replaced with a family of explicit justification terms. Modal logics come in various strengths. For their corresponding justification logics, ...

متن کامل

Conservativity between logics and typed A calculi*

The following full text is a preprint version which may differ from the publisher's version.

متن کامل

Conservativity of Fibred Logics without Shared Connectives *

Fibring is a general mechanism for combining logics that provides valuable insight on designing and understanding complex logical systems. Mostly, the research on fibring has focused on its model and proof-theoretic aspects, and on transference results for relevant metalogical properties. Conservativity, however, a property that lies at the very heart of the original definition of fibring, has ...

متن کامل

Modal Logics and Topological Semantics for Hybrid Systems

In this paper, we introduce the logic of a control action S4F and the logic of a continuous control action S4C on the state space of a dynamical system. The state space here is represented by a topological space (X; T ) and the control action by a function f from X to X. We present an intended topological semantics and a Kripke semantics, give both a Hilbert-style and Gentzen-style axiomatizati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Computation

سال: 2021

ISSN: ['1465-363X', '0955-792X']

DOI: https://doi.org/10.1093/logcom/exab046